$\forall$$a$, $b$:$\mathbb{Z}$. (($a$ = 0) $\vee$ ($b$ = 0)) $\Rightarrow$ (($a$ $\ast$ $b$) = 0)